During the last years of his life, the mathematician Karl Menger worked on a biography of his father, the economist and founder of the Austrian School of Economics, Carl Menger. The younger Menger never finished the work. While working in the Menger collections at Duke University’s David M. Rubenstein Rare Book and Manuscript Library, we discovered draft chapters of the biography, a valuable source of information given that relatively little is known about Carl Menger’s life nearly a hundred years after (...) his death. The unfinished biography covers Carl Menger’s family background and his life through early 1889. In this article, we discuss the biography and the most valuable new insights it provides into Carl Menger’s life, including Carl Menger’s family, his childhood, his student years, his time working as a journalist and newspaper editor, his early scientific career, and his relationship with Crown Prince Rudolf. (shrink)

Ambiguities in natural language can multiply so fast that no person or machine can be expected to process a text of even moderate length by enumerating all possible disambiguations. A sentence containing $n$ scope bearing elements which are freely permutable will have $n!$ readings, if there are no other, say lexical or syntactic, sources of ambiguity. A series of $m$ such sentences would lead to $(n!)^m$ possibilities. All in all the growth of possibilities will be so fast that generating readings (...) first and testing their acceptability afterwards will not be feasible. -/- This insight has led a series of researchers to adopt a level of representation at which ambiguities remain unresolved. The idea here is not to generate and test many possible interpretations but to first generate one `underspecified' representation which in a sense represents all its complete specifications and then use whatever information is available to further specify the result. -/- One central hypothesis in the paper will be that the relation between an underspecified representation and its full representations is not so much the relation between one structure and a set of other structures but is in fact the relation between a description (a set of logical sentences) and its models. (shrink)

In a recent paper we have defined an analytic tableau calculus PL_16 for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN_3. This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic---such as the relations |=_t, |=_f, and |=_i that each correspond to a lattice order in SIXTEEN_3; and |=, the intersection of |=_t and |=_f,. -/- It turns out that our method of characterising these semantic relations---as (...) intersections of auxiliary relations that can be captured with the help of a single calculus---lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that |=, when restricted to L_{tf}, the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano. (shrink)

Although their contributions to the history of economic thought and their scholarly reputations are firmly established, relatively little is known about the relationship between Carl Menger, founder of the Austrian School of economics, and his son, Karl Menger, the mathematician, geometer, logician, and philosopher of science, whose famous Mathematical Colloquium at the University of Vienna was central to the early literature on the existence of general equilibrium and the concomitant development of mathematical economics. The present paper begins to fill this (...) gap. Karl Menger’s diaries, held in the David M. Rubenstein Rare Book and Manuscript Library at Duke University, offer insight into the intimate relationships within the Menger clan, Karl’s work and study habits, and the development of his uncommonly broad intellect, as well as on life in a vanquished city, Vienna, in the immediate wake of the humiliating defeat of the First World War and the disintegration of the Habsburg Empire. (shrink)

Two things become one thing, something having parts, and something becoming something else, are cases of many things being identical with one thing. This apparent contradiction introduces others concerning transitivity of identity, discernibility of identicals, existence, and vague existence. I resolve the contradictions with a theory that identity, number, and existence are relative to standards for counting. What are many on some standard are one and the same on another. The theory gives an account of the discernibility of identicals using (...) phrases like “insofar as”. And it holds that standards for counting remain or shift depending on our purposes. (shrink)

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

It is tempting to think that a process of choosing a point at random from the surface of a sphere can be probabilistically symmetric, in the sense that any two regions of the sphere which differ by a rotation are equally likely to include the chosen point. Isaacs, Hájek, and Hawthorne (2022) argue from such symmetry principles and the mathematical paradoxes of measure to the existence of imprecise chances and the rationality of imprecise credences. Williamson (2007) has argued from a (...) related symmetry principle to the failure of probabilistic regularity. We contend that these arguments fail, because they rely on auxiliary assumptions about probability which are inconsistent with symmetry to begin with. We argue, moreover, that symmetry should be rejected in light of this inconsistency, and because it has implausible decision- theoretic implications. -/- The weaker principle of probabilistic invariance says that the probabilistic comparison of any two regions is unchanged by rotations of the sphere. This principle supports a more compelling argument for imprecise probability. We show, however, that invariance is incompatible with mundane judgments about what is probable. Ultimately, we find reason to be suspicious of the application of principles like symmetry and invariance to nonmeasurable regions. (shrink)

In the Bayesian approach to quantum mechanics, probabilities—and thus quantum states—represent an agent’s degrees of belief, rather than corresponding to objective properties of physical systems. In this paper we investigate the concept of certainty in quantum mechanics. Particularly, we show how the probability-1 predictions derived from pure quantum states highlight a fundamental difference between our Bayesian approach, on the one hand, and Copenhagen and similar interpretations on the other. We first review the main arguments for the general claim that probabilities (...) always represent degrees of belief. We then argue that a quantum state prepared by some physical device always depends on an agent’s prior beliefs, implying that the probability-1 predictions derived from that state also depend on the agent’s prior beliefs. Quantum certainty is therefore always some agent’s certainty. Conversely, if facts about an experimental setup could imply agent-independent certainty for a measurement outcome, as in many Copenhagen-like interpretations, that outcome would effectively correspond to a preexisting system property. The idea that measurement outcomes occurring with certainty correspond to preexisting system properties is, however, in conflict with locality. We emphasize this by giving a version of an argument of Stairs [(1983). Quantum logic, realism, and value-definiteness. Philosophy of Science, 50, 578], which applies the Kochen–Specker theorem to an entangled bipartite system. (shrink)

Twentieth century philosophers introduced the distinction between “objective rightness” and “subjective rightness” to achieve two primary goals. The first goal is to reduce the paradoxical tension between our judgments of (i) what is best for an agent to do in light of the actual circumstances in which she acts and (ii) what is wisest for her to do in light of her mistaken or uncertain beliefs about her circumstances. The second goal is to provide moral guidance to an agent who (...) may be uncertain about the circumstances in which she acts, and hence is unable to use her standard moral principle directly in deciding what to do. This paper distinguishes two important senses of “moral guidance”; proposes criteria of adequacy for accounts of subjective rightness; canvasses existing definitions for “subjective rightness”; finds them all deficient; and proposes a new and more successful account. It argues that each comprehensive moral theory must include multiple principles of subjective rightness to address the epistemic situations of the full range of moral decision-makers, and shows that accounts of subjective rightness formulated in terms of what it would reasonable for the agent to believe cannot provide that guidance. -/- . (shrink)

In “Flourish,” Martin Seligman maintained that the elements of well-being consist of “PERMA: positive emotion, engagement, relationships, meaning, and accomplishment.” Although the question of what constitutes human flourishing or psychological well-being has remained a topic of continued debate among scholars, it has recently been argued in the literature that a paradigmatic or prototypical case of human psychological well-being would largely manifest most or all of the aforementioned PERMA factors. Further, in “A Neuroscientific Perspective on Music Therapy,” Stefan Koelsch also suggested (...) that “Music therapy can have effects that improve the psychological and physiological health of individuals,” so it seems plausible that engaging in practices of music can positively contribute to one living a more optimally flourishing life with greater psychological well-being. However, recent studies on music practice and participation have not yet been reviewed and integrated under the PERMA framework from positive psychology to further explore and explicate this possibility. This article therefore contributes to extant work by reviewing recent research on psychological well-being and music to offer support for the claim that music practice and participation can positively contribute to one living a flourishing life by positively influencing their emotions, engagement, relationships, meaning, and accomplishment. (shrink)

Coreferentialism refers to the common assumption in the literature that slurs and descriptors are coreferential expressions with precisely the same extension. For instance, Vallee recently writes that “If S is an ethnic slur in language L, then there is a non-derogatory expression G in L such that G and S have the same extension”. The non-derogatory expression G is commonly considered the nonpejorative correlate of the slur expression S and it is widely thought that every S has a coreferring G (...) that possesses precisely the same extension. Yet here I argue against this widespread assumption by first briefly introducing what slurs are and then considering four sources of supporting evidence showing that slurs and descriptors are in fact not coreferential expressions with precisely the same extension. I argue that since slurs and descriptors differ in their extension they thereby differ in their meaning or content also. This article additionally introduces the notion of a conceptual anchor in order to adequately account for the relationship between slurs and descriptors actually evidenced in the empirical data, and further considers the inadequacy of common dictionary definitions of slurs. This article therefore contributes to the literature on slurs by demonstrating that previous accounts operating on the assumption that slurs and descriptors are coreferential expressions with the same extension, and that they thereby have the same meaning or content, are inconsistent with empirical data and that an alternative account in accord with Croom better fits the facts concerning their actual meaning and use. (shrink)

This essay investigates, via the concepts of the philosophy of orientation, Annie Duke’s decision-making theory in "Thinking in Bets" and scrutinizes as to what extent one can universalize the 'orientation skill' of decision-making with regard to our everyday and professional life.

The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour of (...) this relation must be given in the form of a logic program. The resulting system does not only throw light on the properties of sense and their relation to computation, but also shows circular behaviour if some ingredients of the Liar Paradox are added. The connection is natural, as algorithms can be inherently circular and the Liar is explained as expressing one of those. Many ideas in the present paper are closely related to those in Moschovakis (1994), but receive a considerably lighter formalization. (shrink)

This paper assesses the role of the Refutation of Idealism within the Critique of Pure Reason, as well as its relation to the treatment of idealism in the First Edition and to transcendental idealism more generally. It is argued that the Refutation is consistent with the Fourth Paralogism and that it can be considered as an extension of the Transcendental Deduction. While the Deduction, considered on its own, constitutes a 'regressive argument', the Refutation allows us to turn the Transcendental Analytic (...) into a 'progressive argument' that proceeds by the synthetic method. (shrink)

There are two kinds of semantic theories of anaphora. Some, such as Heim’s File Change Semantics, Groenendijk and Stokhof’s Dynamic Predicate Logic, or Muskens’ Compositional DRT (CDRT), seem to require full coindexing of anaphora and their antecedents prior to interpretation. Others, such as Kamp’s Discourse Representation Theory (DRT), do not require this coindexing and seem to have an important advantage here. In this squib I will sketch a procedure that the first group of theories may help themselves to so that (...) they can interleave interpretation and coindexing in DRT’s way. (shrink)

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

Plato is associated with the idea that the body holds us back from knowing ultimate reality and so we should try to distance ourselves from its influence. This sentiment appears is several of his dialogues including Theaetetus where the flight from the physical world is compared to becoming like God. In some major dialogues of Plato's later career such as Philebus and Laws, however, the idea of becoming like God takes a different turn. God is an intelligent force that tries (...) to create order in the physical world. I argue that likeness to God in these dialogues involves imitating God's effort by trying to order our bodies, souls, and societies as intelligence directs. Becoming like Plato's God is not to abandon the world. It is to improve it. (shrink)

Standard approaches to proper names, based on Kripke's views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e.\ that their values are \emph{constant} functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is \emph{truly intensional} in the sense that it does not validate the axiom scheme of (...) Extensionality, we develop a simple theory of names in which Kripke's intuitions concerning rigidity are accounted for, but the more unpalatable consequences of standard implementations of his theory are avoided. The logic uses Frege's distinction between sense and reference and while it accepts the rigidity of names it rejects the view that names have direct reference. Names have constant denotations across possible worlds, but the semantic value of a name is not determined by its denotation. (shrink)

Since it is only five years since the publication of our paper, "Geographical categories: An ontological investigation" (Smith and Mark 2001), it seems somewhat strange to be making retrospective comments on the piece. Nevertheless, the field is moving quickly, and much has happened since the article appeared. A large number of papers have already cited the work, which suggests that there is a seam here that people find worthy of being mined. In this short essay, we first review the paper (...) and attempt to assess its significance from the perspective of our current work. We then put the paper in the context of our individual and joint works, which led up to it, and summarize our research trajectories since the paper appeared, pointing out what some of this reveals about spatial ontology in general. We conclude with some remarks on the future of ontological research in geographical information science. (shrink)

Hubert Dreyfus has argued that cases of absorbed bodily coping show that there is no room for self-awareness in flow experiences of experts. In this paper, I argue against Dreyfus’ maxim of vanishing self-awareness by suggesting that awareness of agency is present in expert bodily action. First, I discuss the phenomenon of absorbed bodily coping by discussing flow experiences involved in expert bodily action: merging into the flow; immersion in the flow; emergence out of flow. I argue against the claim (...) that flow experience does not involve an awareness of agency for each of these features, while conceding that fluent agency does not involve self-awareness in the thetic sense. I challenge the assumption that the awareness of fluent agency must be understood in terms of a thetic awareness of agency. Instead, I develop an Anscombean account of the awareness of fluent agency in terms of the phenomenal character of knowing one’s aims. I respond to the challenge that if an Anscombean account of the awareness of agency is to succeed, then agents must be able to answer Anscombean questions. I consider the objection that awareness of agency is not a form of self-awareness by outlining an account of self-awareness as self-synthesis that is distinct from self-perception and self-ascription, but which makes room for self-awareness in expert bodily action. (shrink)

Nietzsche and Shaw are famous and infamous: famous for their innovative and influential forms of writing, but infamous for their apparent support of totalitarianism and Nazism. However, while it has long been shown that Nietzsche’s provocative language about “breeding” and “masters and slaves” was intended to enhance culture through competition, it is still an open question how and when Shaw supported biological eugenics. Via Nietzsche’s “philosophical breeding,” this article presents a new reading of Shaw’s Man and Superman: on the one (...) hand, it contrasts Nietzsche’s philosophical Übermensch with Shaw’s eugenic Superman; and on the other hand, it connects Nietzsche’s agonistic enhancement of culture with Shaw’s philosophical reflections in “Don Juan in Hell.” In contrast to Tanner’s support of eugenic breeding in his Revolutionist’s Handbook, Shaw’s Don Juan remarkably resembles Nietzsche’s notion of “philosophical breeding” toward a more competent, truthful, and autonomous orientation that is needed in increasingly complex global politics. (shrink)

The question of what constitutes and facilitates mental health or psychological well-being has remained of great interest to martial artists and philosophers alike, and still endures to this day. Although important questions about well-being remain, it has recently been argued in the literature that a paradigmatic or prototypical case of human psychological well-being would characteristically consist of positive emotion, engagement, relationships, meaning, and accomplishment. Other scholarship has also recently suggested that martial arts practice may positively promote psychological well-being, although recent (...) studies on martial arts have not yet been reviewed and integrated under the PERMA framework from positive psychology to further explore and explicate this possibility. This article therefore contributes to the literature by reviewing recent work on psychological well-being and martial arts to determine whether there is substantive support for the claim that practicing martial arts can positively contribute to one flourishing with greater psychological well-being. (shrink)

The concept of bias is pervasive in both popular discourse and empirical theorizing within philosophy, cognitive science, and artificial intelligence. This widespread application threatens to render the concept too heterogeneous and unwieldy for systematic investigation. This article explores recent philosophical literature attempting to identify a single theoretical category—termed ‘bias’—that could be unified across different contexts. To achieve this aim, the article provides a comprehensive review of theories of bias that are significant in the fields of philosophy of mind, cognitive science, (...) machine learning, and epistemology. It focuses on key examples such as perceptual bias, implicit bias, explicit bias, and algorithmic bias, scrutinizing their similarities and differences. Although these explorations may not conclusively establish the existence of a natural theoretical kind, pursuing the possibility offers valuable insights into how bias is conceptualized and deployed across diverse domains, thus deepening our understanding of its complexities across a wide range of cognitive and computational processes. (shrink)

Many take Kantian ethics to founder when it comes to our duties to animals. In this paper, I advocate a novel approach to this problem. The paper is divided into three sections. In the first, I canvass various passages from Kant in order to set up the problem. In the second, I introduce a novel approach to this problem. In the third, I defend my approach from various objections. By way of preview: I advocate rejecting the premise that nonhuman animals (...) are nonrational. (shrink)

A commonly raised criticism against celebrity culture is that it celebrates people who become famous without any connection to their skills, talents or achievements. A culture in which people become famous simply for being famous is criticized for being shallow and inauthentic. In this paper we offer a defence of celebrity by arguing against this criticism. We begin by outlining what we call the Talent Argument: celebrity is a negative cultural phenomenon because it creates and sustains fame without any connection (...) to the accomplishments that arise from an expression of talent or skill. By appealing to the metaphysics of talent and skill, we argue against the Talent Argument and propose that being a celebrity requires the skills that are necessary to acquire and maintain one’s status as a celebrity. A celebrity is more likely to be talented and successful in their expression of these skills, and even celebrities who are ‘famous for being famous’ will often display talents and skills that give rise to their fame. This means that those who critique celebrity culture should not do so by appealing to the Talent Argument. We show how our account of celebrity, talent and skill works to reject both the strong version of the Talent Argument, as well as a weaker and more plausible version of the argument we call the Valuable Talents argument. We conclude by noting that our analysis has demonstrated the need to explore more closely the kinds of skills that are necessary to cultivate celebrity status. This allows for a more nuanced understanding of what a celebrity is, and the values that are attached to celebrity culture. (shrink)

The paper argues that intensional phenomena can be explained without appealing to "exotic" entities: one that don't exist, are merely possible, or are essentially abstract.

In this paper we consider the theory of predicate logics in which the principle of Bivalence or the principle of Non-Contradiction or both fail. Such logics are partial or paraconsistent or both. We consider sequent calculi for these logics and prove Model Existence. For L4, the most general logic under consideration, we also prove a version of the Craig-Lyndon Interpolation Theorem. The paper shows that many techniques used for classical predicate logic generalise to partial and paraconsistent logics once the right (...) set-up is chosen. Our logic L4 has a semantics that also underlies Belnap’s [4] and is related to the logic of bilattices. L4 is in focus most of the time, but it is also shown how results obtained for L4 can be transferred to several variants. (shrink)

A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have shown remarkable (...) comebacks in the fields of mechanized reasoning (see, e.g., Benzm¨. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

This paper explores the complex nature of social biases, arguing for a functional framework that recognizes their unity and diversity. The functional approach posits that all biases share a common functional role in overcoming underdetermination. This framework, I argue, provides a comprehensive understanding of how all psychological biases, including social biases, are unified. I then turn to the question of disunity, demonstrating how psychological social biases differ systematically in the mental states and processes that constitute them. These differences indicate that (...) biases at various levels of the cognitive architecture require distinct treatment along at least two dimensions: epistemic evaluation and mitigation strategies. By examining social biases through this dual lens of unity and diversity, we can more effectively identify when and how to intervene on problematic biases. Ultimately, this approach provides a nuanced understanding of the nature of social bias, offering practical guidance for addressing existing biases and proactively managing emerging biases in both human and artificial minds. (shrink)

Hume's Treatise arguments concerning space, time, and geometry, especially ones involving his denial of infinite divisibility; have suffered harsh criticism. I show that in the section "Of the ideas of space and time," Hume gives important characterizations of his skeptical approach, in some respects Pyrrhonian, that will be developed in the rest of the Treatise. When that approach is better understood, the force of Hume's arguments can be appreciated, and the influential criticisms of them can be seen to miss the (...) mark. (shrink)

Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between grammatical form and predicate logical form that were observed by Frege and Russell. The grammatical forms (...) of ordinary language sentences consequently may be taken to be much less misleading than logicians in the first half of the 20th century often thought them to be. This was realized by Richard Montague, who used the theory of types to translate fragments of ordinary language into a logical language. Semantics is commonly divided into lexical semantics, which studies the meaning of words, and compositional semantics, which studies the way in which complex phrases obtain a meaning from their constituents. The strength of type-logical semantics lies with the latter, but type-logical theories can be combined with many competing hypotheses about lexical meaning, provided these hypotheses are expressed using the language of type theory. (shrink)

Abstract: Ensuring the proactive detection of transaction risks is paramount for financial institutions, particularly in the context of managing credit scores. In this study, we compare different machine learning algorithms to effectively and efficiently. The algorithms used in this study were: MLogisticRegressionCV, ExtraTreeClassifier,LGBMClassifier,AdaBoostClassifier, GradientBoostingClassifier,Perceptron,RandomForestClassifier,KNeighborsClassifier,BaggingClassifier, DecisionTreeClassifier, CalibratedClassifierCV, LabelPropagation, Deep Learning. The dataset was collected from Kaggle depository. It consists of 164 rows and 8 columns. The best classifier with unbalanced dataset was the LogisticRegressionCV. The Accuracy 100.0%, precession 100.0%,Recall100.0% and the F1-score (...) 100.0%. However, the best classifier with balanced dataset was the LogisticRegressionCV. The Accuracy 100.0%, precession 100.0%, Recall 100.0% and the F1-score 100.0%. (shrink)

Leibniz’s mechanistic reduction of colors and other sensible qualities commits him to two theses about our knowledge of those qualities: first, that we can acquire ideas of sensible qualities apart from any direct acquaintance with the qualities themselves; second, that we can acquire distinct (i.e., non-confused) ideas of such qualities through the development of physical-theoretical accounts. According to some commentators, however, Leibniz frequently denies both claims. His views on the subject are muddled and incoherent, they say, both because he is (...) ambivalent about the nature of sensible qualities, and because he gets confused about confusion, losing sight of his own distinction between the confusion proper to perceptions and that proper to ideas. In opposition to this, I argue that the critics have misunderstood Leibniz’s views, which are both consistent over time and coherent. The key to understanding his position is to appreciate what he characterizes as a kind of redundancy in our ideas of sensible qualities, a crucial feature of his view overlooked by the critics. (shrink)

In this paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, proofs, fstructures) are (...) somehow prior and that semantics must be parasitic on those syntactic objects. We challenge this idea and develop a grammar in which syntax and semantics are treated in a strictly parallel fashion. The grammar will have many ideas in common with the (converging) frameworks of categorial grammar and LFG, but its treatment of the syntax-semantics interface is radically different. Also, although the meaning component of the grammar is a version of Montague semantics and although there are obvious affinities between Montague’s conception of grammar and the work presented here, the grammar is not compositional, in the sense that composition of meaning need not follow surface structure. (shrink)

Abstract: Forests are areas with a high density of trees, and they play a vital role in the health of the planet. They provide a habitat for a wide variety of plant and animal species, and they help to regulate the climate by absorbing carbon dioxide from the atmosphere. While in 2010, the world had 3.92Gha of forest cover, covering 30% of its land area, in 2019, there was a loss of forest cover of 24.2Mha according to the Global Forest (...) Watch institute. Discovery and classification depend on human experience and effort, so the error in the results of this process can lead to forest fires and disasters. Therefore, deep learning algorithms from artificial intelligence and machine learning sciences have been applied to help specialists avoid false or inaccurate diagnoses when detecting Forest fires in images using a pre-trained convolutional neural network called VGG16. The model was customized to fit the Forest fires classification and then applied to a dataset consisting of (14,000) of the Forests collected from the Kaggle depository. We trained, validated, and tested the modified VGG16 model. The proposed VGG16 model obtained Precision (99.96%), Recall (99.96%), and F1-Score (99.96%). (shrink)

This contribution focuses on three aspects of Nietzsche’s art of living that have become relevant today especially in the United States (but not only here): first, regarding some facets of the economic-political conditions of any contemporary art of living; second, the widespread adoption of Nietzsche’s notion of self-overcoming and artistic self-design in entrepreneurship and individual’s lives; and third, how his notion of ‘incorporation’ has been further developed in current approaches to habit design. Eventually I will show via the example of (...) Anthony Robbins that some notions of Nietzsche’s art of living have become most popular outside of academia, namely in the commercial industries of what has been called ‘self-growth’ or ‘self-development.’. (shrink)

An inquiry on the training needs in Mathematics was conducted to Laura Vicuña Center - Palawan (LVC-P) learners. Specifically, this aimed to determine their level of performance in numbers, measurement, geometry, algebra, and statistics, identify the difficulties they encountered in solving word problems and enumerate topics where they needed coaching. -/- To identify specific training needs, the study employed a descriptive research design where 36 participants were sampled purposively. The data were gathered through a problem set test and focus group (...) discussion. Findings revealed that LVC-P learners had an unsatisfactory performance in numbers, measurement, and statistics while alarmingly poor in geometry and algebra. They also faced difficulties in remembering, understanding, applying, and analyzing mathematical concepts when solving problems. Further, the learners were able to name certain topics subjected to tutorials. -/- The above facts and observations suggest that learners of LVC-P have urgent training needs in Mathematics. It is recommended that the Western Philippines University - College of Education RDE Unit continue its research, development, and extension services to LVC-P. More importantly, the results of this inquiry regarding the training needs of the learners will serve as bases for conducting an extension project and development program for LVC-P. Series of tutorial sessions is deemed necessary to address the needs and difficulties of the learners. (shrink)

The study aimed to identify E- Learning strategies and their relation to the efficiency of research performance in foreign and Palestinian universities (University of Ottawa, Munster, Suez Canal, Al-Azhar, Islamic, Al-Aqsa). The analytical descriptive approach was used for this purpose, and relying on the questionnaire as a main tool for data collection. The study society is from the senior management, where the number of senior management in the universities in question is 206. The random stratified sample was selected and (SPSS) (...) was used for statistical data analysis. The study found a significant relationship between E- Learning strategies and the efficiency of research performance in universities. It also reached the participation of senior management in the research that develops the university performance in the Palestinian universities. The senior management indicated that they do not care to follow the policies of implementing the development of scientific research. While the senior management in foreign universities indicated that they are interested in following up the policies of implementing the development of scientific research. The study also showed that senior management in Palestinian universities does not care about providing the appropriate budget for E- Learning. The study recommended that the senior management of Palestinian universities should provide an E- Learning budget and encourage employees to continue using E- Learning strategies. The administration in the Palestinian universities should adopt and support outstanding research, and the need to encourage interest in the implementation of policies for the development of scientific research. (shrink)

In this paper, I explore a possible convergence between two great twentieth century thinkers, Nishida Kitarō of Japan and Martin Heidegger of Germany. The focus is on the quasi-religious language they employ in discussing the grounding of human existence in terms of an encompassing Wherein for our being. Heidegger speaks of “the sacred” and “the passing of the last god” that mark an empty clearing wherein all metaphysical absolutes or gods have withdrawn but are simultaneously indicative of an opening wherein (...) beings are given. Nishida speaks of “the religious” dimension in the depths of one's being, that he calls “place,” and that somehow envelops the world through its kenotic self-negation. In both we find reference to a kind of originary space—the open or place—associated with quasireligious themes. I also point to their distinct approaches to metaphysical language in their attempts to give voice to that abysmal thought. (shrink)

Abstract: Context: grapevine leaves are an important agricultural product that is used in many Middle Eastern dishes. The species from which the grapevine leaf originates can differ in terms of both taste and price. Method: In this study, we build a deep learning model to tackle the problem of grape leaf classification. 500 images were used (100 for each species) that were then increased to 10,000 using data augmentation methods. Convolutional Neural Network (CNN) algorithms were applied to build this model (...) specifically using the pre-trained model on top of the VGG16 architecture. Then, dense layers were added to classify the output of the Convolutional layers and classify outputs to the five classes (species) the leaf belonged to. Results: It was found that feature extraction without fine-tuning the convolutional layers yielded poor results, about 86% accuracy, while training the whole network along with some data preprocessing gave the best results, about 99.45% accuracy on the testing dataset. Conclusions: The proposed CNN model is an effective one for the problem of classification of grape leaf species. (shrink)

Logic has its roots in the study of valid argument, but while traditional logicians worked with natural language directly, modern approaches first translate natural arguments into an artificial language. The reason for this step is that some artificial languages now have very well developed inferential systems. There is no doubt that this is a great advantage in general, but for the study of natural reasoning it is a drawback that the original linguistic forms get lost in translation. An alternative approach (...) would be to develop a general theory of the natural logic behind human reasoning and human information processing by studying formal logics that operate directly on linguistic representations. That this is possible we will try to make plausible in this paper. It will turn out that one level of representation, that of Logical Form, can meaningfully be identified with the language of an existing and well-understood logic, a restricted form of the theory of types. It is not difficult to devise inference systems for this language, and it is thus possible to study reasoning systems that are based directly on language. (shrink)

This paper establishes that the occasional identity relation and the contingent identity relation are both non-transitive and as such are not properly classified as identity relations. This is achieved by appealing to cases where multiple fissions and fusions occur simultaneously. These cases show that the contingent and occasional identity relations do not even satisfy the time-indexed and world-indexed versions of the transitivity requirement and hence are non-transitive relations.